Totality of colimit closures
نویسندگان
چکیده
Adámek, Herrlich, and Reiterman showed that a cocomplete category A is cocomplete if there exists a small (full) subcategory B such that every A-object is a colimit of B-objects. The authors of the present paper strengthened the result to totality in the sense of Street and Walters. Here we weaken the hypothesis, assuming only that the colimit closure is attained by transfinite iteration of the colimit closure process up to a fixed ordinal. This requires some investigations on generalized notions of generators.
منابع مشابه
Generators and Colimit Closures
The only proof of this I know is kind of fiddly and not enlightening. But the point is that in most categories that appear ‘in nature,’ regular, strong, and extremal epics are about the same, and all are the correct notion of quotient, while ordinary epimorphisms may not be. For example, N→ Q is epic in Rings, but not extremal epic. In Top the epics are the surjective maps, while the regular = ...
متن کاملMulti-diagrams of relations between fuzzy sets: weighted limits, colimits and commutativity
Limits and colimits of diagrams, defined by maps between sets, are universal constructions fundamental in different mathematical domains and key concepts in theoretical computer science. Its importance in semantic modeling is described by M. Makkai and R. Paré in [1], where it is formally shown that every axiomatizable theory in classical infinitary logic can be specified using diagrams defined...
متن کاملProfunctors, open maps and bisimulation
This paper studies fundamental connections between profunctors (i.e., distributors, or bimodules), open maps and bisimulation. In particular, it proves that a colimit preserving functor between presheaf categories (corresponding to a profunctor) preserves open maps and open map bisimulation. Consequently, the composition of profunctors preserves open maps as 2-cells. A guiding idea is the view ...
متن کاملNumerical Modeling of Saline Gravity Currents Using EARSM and Buoyant k- Turbulence Closures
Gravity currents are very common in nature and may appear in rivers, lakes, oceans, and the atmosphere. They are produced by the buoyant forces interacting between fluids of different densities and may introduce sediments and pollutants into water bodies. In this study, the hydrodynamics and propagation of gravity currents are investigated using WISE (Width Integrated Stratified Environments), ...
متن کاملHomotopy (limits And) Colimits
These notes were written to accompany two talks given in the Algebraic Topology and Category Theory Proseminar at the University of Chicago in Winter 2009. When a category has some notion of limits and colimits associated to it, its ordinary limits and colimits are not necessarily homotopically meaningful. We describe a notion of a “homotopy colimit” for two sorts of categories with a homotopy ...
متن کامل